<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Roles | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/processes/">
              <span property="name"><b>Processes</b></span>
            </a>
            <meta property="position" content="2" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">Roles</span>
            <meta property="position" content="3" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">
















</div>

  </div>
  <div class="col-sm-8 col-md-9 col-lg-8 main">
    
    <div class="content">
      <h1 id="roles">Roles</h1>

<p>The <a href="https://sel4.systems/Foundation/About">seL4 Foundation</a> defines the following roles for seL4 development.</p>

<p>Apart from Contributor, which anyone can be, you can become a member of any of
these roles by decision (vote) of the <a href="https://sel4.systems/Foundation/TSC/">Technical Steering Committee</a> (TSC).
You can nominate someone for a role by emailing the chair of the TSC.</p>

<ul>
  <li>
    <p><strong>Contributor</strong>:
  Anyone who contributes code, documentation, issues, etc via pull requests
  or otherwise.</p>
  </li>
  <li>
    <p><strong>Reviewer</strong>:
  People with technical experience and interest to approve reviews on
  pull requests, be assigned and maintain issues, but without full
  commit rights.  They would typically be active Contributors already,
  but exceptions are possible. They become members of the seL4 GitHub
  org.</p>

    <p>The role does not confer membership or voting rights in the TSC.</p>

    <p>Current members are:</p>

    <ul>
      <li>Christopher Guikema, Dornerworks</li>
      <li>Jesse Millwood, Dornerworks</li>
      <li>Alwin Joshy, UNSW</li>
      <li>Benno Leslie, Breakaway Consulting</li>
    </ul>

    <p> </p>
  </li>
  <li>
    <p><strong>Committer</strong>:
  People with direct write/push access to the repositories in the
  seL4 GitHub org. These are the people that can merge pull requests.</p>

    <p>The role does not automatically confer membership or voting rights
  in the TSC.</p>

    <p>Current members are the members of the Committers team on the seL4 GitHub
  organisation. These include all of the TSC members and the following
  people:</p>

    <ul>
      <li>Ryan Barry, Proofcraft</li>
      <li>Peter Chubb, UNSW</li>
      <li>Axel Heider</li>
      <li>Damon Lee, Kry10</li>
      <li>Michael McInerney, Proofcraft</li>
      <li>Johannes Åman Pohjohla, UNSW</li>
      <li>Robert Sison, UNSW</li>
      <li>Miki Tanaka, UNSW</li>
      <li>Ivan Velickovic, UNSW</li>
      <li>Jingyao Zhou, UNSW</li>
      <li>Indan Zupancic</li>
    </ul>

    <p> </p>
  </li>
  <li>
    <p><strong>SysAdmin</strong>
  People with admin access to the seL4 GitHub org and repositories
  for purely administrative purposes, e.g. maintenance of CI
  infrastructure and repo membership/access control.</p>

    <p>The role does not confer membership or voting rights in the TSC.</p>

    <p>Current members are:</p>

    <ul>
      <li>Peter Chubb, UNSW</li>
    </ul>

    <p> </p>
  </li>
  <li>
    <p><strong>TSC member</strong>:
  a member of the <a href="https://sel4.systems/Foundation/TSC/">Technical Steering Committee</a> of the seL4
  Foundation. This is the body that decides on the technical direction
  of the project, sets processes, guidelines, etc. Meetings of the TSC
  are public and will be announced on the seL4 developer mailing list.</p>

    <p>See <a href="https://sel4.systems/Foundation/TSC/">the TSC page</a> for current members. TSC members have at least
 Committer access to the seL4 GitHub repositories.</p>
  </li>
</ul>


    </div>
  </div>
</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
                Page last updated: Thu Aug 31 17:23:26 2023 +0100 6eb462f624
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/processes/roles.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/processes/roles.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
